34c6425f47028d82d87ebfb1076502a575517b37,plugins/org.eclipse.xtext.ui.core/src/org/eclipse/xtext/ui/core/editor/XtextSourceViewer.java,XtextSourceViewer,setDocument,#IDocument#IAnnotationModel#number#number#,68

Before Change


	public void setDocument(IDocument document, IAnnotationModel annotationModel, int modelRangeOffset,
			int modelRangeLength) {
		super.setDocument(document, annotationModel, modelRangeOffset, modelRangeLength);
		((IXtextDocument) getDocument()).addModelListener(this);
	}

	@Override

After Change


	@Override
	public void setDocument(IDocument document, IAnnotationModel annotationModel, int modelRangeOffset,
			int modelRangeLength) {
		if (getDocument() != null)
			((IXtextDocument) getDocument()).removeModelListener(this);
		super.setDocument(document, annotationModel, modelRangeOffset, modelRangeLength);
		if (document != null)
			((IXtextDocument) getDocument()).addModelListener(this);
	}

	@Override